Biography
Research Interests
Research Grants
Project | Funding Body | Start Date | End Date | Award | |
---|---|---|---|---|---|
EI FP/2013/1475 ; Travel Support | Enterprise Irl | 27-JUL-13 | 26-JAN-14 | €1,500.00 | |
COSEALCOOP | Irish Research Council | 01-MAR-14 | 30-NOV-14 | €6,000.00 |
Publications
Peer Reviewed Journals
Year | Publication | |
---|---|---|
(2014) | 'Qualitative Modelling via Constraint Programming' Kelsey, Thomas W. and Kotthoff, Lars and Jefferson, Christopher A. and Linton, Stephen A. and Miguel, Ian and Nightingale, Peter and Gent, Ian P. (2014) 'Qualitative Modelling via Constraint Programming'. Constraints, [Details] | |
(2014) | 'Algorithm Selection for Combinatorial Search Problems: A Survey' Kotthoff, Lars (2014) 'Algorithm Selection for Combinatorial Search Problems: A Survey'. Ai Magazine, [Details] | |
(2013) | 'Reliability of Computational Experiments on Virtualised Hardware' Kotthoff, Lars (2013) 'Reliability of Computational Experiments on Virtualised Hardware'. Journal of Experimental and Theoretical Artificial Intelligence, [Details] | |
(2012) | 'An Evaluation of Machine Learning in Algorithm Selection for Search Problems' Kotthoff, Lars and Gent, Ian P. and Miguel, Ian (2012) 'An Evaluation of Machine Learning in Algorithm Selection for Search Problems'. Ai Communications, 25 (3):257-270 [Details] |
Conference Publications
Year | Publication | |
---|---|---|
(2010) | SICSA PhD conference Kotthoff, Lars and Gent, Ian P. and Miguel, Ian (2010) Using machine learning to make constraint solver implementation decisions SICSA PhD conference [Details] | |
(2010) | 19th European Conference on Artificial Intelligence Gent, Ian P. and Jefferson, Christopher A. and Kotthoff, Lars and Miguel, Ian and Moore, Neil and Nightingale, Peter and Petrie, Karen E. (2010) Learning When to Use Lazy Learning in Constraint Solving 19th European Conference on Artificial Intelligence , pp.873-878 [Details] | |
(2014) | 28th European Conference on Modelling \& Simulation Johnson, Peter George and Balke, Tina and Kotthoff, Lars (2014) Integrating optimisation and agent-based modelling 28th European Conference on Modelling \& Simulation Brescia, Italy, [Details] | |
(2014) | CPAIOR Hurley, Barry and Kotthoff, Lars and Malitsky, Yuri and O'Sullivan (2014) Proteus: A Hierarchical Portfolio of Solvers and Transformations CPAIOR [Details] | |
(2014) | LION Geschwender, Daniel and Hutter, Frank and Kotthoff, Lars and Malitsky, Yuri and Hoos, Holger H. and Leyton-Brown, Kevin (2014) Algorithm Configuration in the Cloud: A Feasibility Study LION [Details] | |
(2014) | LION 8 Kotthoff, Lars (2014) Ranking Algorithms by Performance LION 8 [Details] | |
(2013) | ICTAI Mehta, Deepak and O'Sullivan (2013) Lazy Branching for Constraint Satisfaction ICTAI [Details] | |
(2013) | 19th International Conference on Principles and Practice of Constraint Programming Akgun, Ozgur and Frisch, Alan M. and Gent, Ian P. and Hussain, Bilal and Jefferson, Christopher A. and Kotthoff, Lars and Miguel, Ian and Nightingale, Peter (2013) Automated Symmetry Breaking and Model Selection in Conjure 19th International Conference on Principles and Practice of Constraint Programming [Details] | |
(2013) | 20th Automated Reasoning Workshop Prokopas, Arunas and Frisch, Alan M. and Gent, Ian P. and Jefferson, Christopher A. and Kotthoff, Lars and Miguel, Ian and Nightingale, Peter (2013) Constructing constraint solvers using Monte Carlo Tree Search 20th Automated Reasoning Workshop [Details] | |
(2013) | 20th Automated Reasoning Workshop Akgun, Ozgur and Frisch, Alan M. and Hussain, Bilal and Jefferson, Christopher A. and Kotthoff, Lars and Miguel, Ian and Nightingale, Peter (2013) An Automated Constraint Modelling and Solving Toolchain 20th Automated Reasoning Workshop [Details] | |
(2013) | 10th International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming Kotthoff, Lars and O'Sullivan (2013) Constraint-based Clustering 10th International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming [Details] | |
(2012) | 18th International Conference on Principles and Practice of Constraint Programming (Position Paper) Kelsey, Thomas W. and Kotthoff, Lars and Jefferson, Christopher A. and Linton, Stephen A. and Miguel, Ian and Nightingale, Peter and Gent, Ian P. (2012) Qualitative Modelling via Constraint Programming: Past, Present and Future 18th International Conference on Principles and Practice of Constraint Programming (Position Paper) [Details] | |
(2011) | Proceedings of the International Conference on Computational Science Kelsey, Tom and Kotthoff, Lars (2011) Exact Closest String as a Constraint Satisfaction Problem Proceedings of the International Conference on Computational Science , pp.1062-1071 [Details] | |
(2012) | 18th International Conference on Principles and Practice of Constraint Programming Distler, Andreas and Jefferson, Christopher A. and Kelsey, Tom and Kotthoff, Lars (2012) The Semigroups of Order 10 18th International Conference on Principles and Practice of Constraint Programming , pp.883-899 [Details] | |
(2012) | 20th European Conference on Artificial Intelligence Kotthoff, Lars (2012) Hybrid Regression-Classification Models for Algorithm Selection 20th European Conference on Artificial Intelligence , pp.480-485 [Details] | |
(2012) | 34th International Conference on Software Engineering Balasubramaniam, Dharini and Jefferson, Christopher and Kotthoff, Lars and Miguel, Ian and Nightingale, Peter (2012) An Automated Approach to Generating Efficient Constraint Solvers 34th International Conference on Software Engineering , pp.661-671 [Details] | |
(2011) | Fourth Annual Symposium on Combinatorial Search Kotthoff, Lars and Gent, Ian P. and Miguel, Ian (2011) A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems Fourth Annual Symposium on Combinatorial Search , pp.84-91 [Details] | |
(2011) | AAAI Workshop AI for Data Center Management and Cloud Computing Gent, Ian P. and Kotthoff, Lars (2011) Reliability of Computational Experiments on Virtualised Hardware AAAI Workshop AI for Data Center Management and Cloud Computing [Details] | |
(2011) | Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming Gent, Ian P. and Jefferson, Christopher A. and Kotthoff, Lars and Miguel, Ian (2011) Modelling Constraint Solver Architecture Design as a Constraint Problem Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming , pp.87-96 [Details] | |
(2011) | 9th Working IEEE/IFIP Conference on Software Architecture Balasubramaniam, Dharini and de Silva, Lakshitha and Jefferson, Christopher A. and Kotthoff, Lars and Miguel, Ian and Nightingale, Peter (2011) Dominion: An Architecture-driven Approach to Generating Efficient Constraint Solvers 9th Working IEEE/IFIP Conference on Software Architecture , pp.228-231 [Details] | |
(2010) | 3rd Workshop on Techniques for implementing Constraint Programming Systems (TRICS) Kotthoff, Lars and Moore, Neil C.A. (2010) Distributed solving through model splitting 3rd Workshop on Techniques for implementing Constraint Programming Systems (TRICS) , pp.26-34 [Details] | |
(2010) | 3rd Workshop on Techniques for implementing Constraint Programming Systems (TRICS) Gent, Ian P. and Kotthoff, Lars and Miguel, Ian and Nightingale, Peter (2010) Machine learning for constraint solver design – a case study for the alldifferent constraint 3rd Workshop on Techniques for implementing Constraint Programming Systems (TRICS) , pp.13-25 [Details] | |
(2010) | 16th International Conference on Principles and Practices of Constraint Programming Kotthoff, Lars and Miguel, Ian and Nightingale, Peter (2010) Ensemble classification for constraint solver configuration 16th International Conference on Principles and Practices of Constraint Programming , pp.321-329 [Details] | |
(2009) | Doctoral Program of CP Kotthoff, Lars (2009) Dominion – A constraint solver generator Doctoral Program of CP [Details] | |
(2015) | LION 9 Kotthoff, Lars and Kerschke, Pascal and Hoos, Holger and Trautmann, Heike (2015) Improving the State of the Art in Inexact TSP Solving using Per-Instance Algorithm Selection LION 9 [Details] | |
(2014) | Recomputability 2014 Gent, Ian P. and Kotthoff, Lars (2014) Recomputation.org: Experience of Its First Year and Lessons Learned Recomputability 2014 London, UK, [Details] | |
(2014) | 10th IEEE International Conference on eScience Kelsey, Thomas W. and McCaffery, Martin and Kotthoff, Lars (2014) Web-scale distributed eScience AI search across disconnected and heterogeneous infrastructures 10th IEEE International Conference on eScience [Details] | |
(2014) | CP Hussain, Bilal and Gent, Ian P. and Jefferson, Christopher A. and Kotthoff, Lars and Miguel, Ian and Nightingale, Glenna F. and Nightingale, Peter (2014) Discriminating Instance Generation for Automated Constraint Model Selection CP [Details] |
Technical Publication
Year | Publication | |
---|---|---|
(2013) | Proteus: A Hierarchical Portfolio of Solvers and Transformations. Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O’Sullivan (2013) Proteus: A Hierarchical Portfolio of Solvers and Transformations. Technical Publication [Details] |
Professional Activities
Honours and Awards
Year | Title | Awarding Body | |
---|---|---|---|
2012 | EPSRC Doctoral Prize | EPSRC | |
2008 | SICSA PhD student fellowship | Scottish Informatics and Computer Science Alliance | |
2011 | Best Student Paper Award | Symposium on Combinatorial Search |
Professional Associations
Association | Function | From / To | |
---|---|---|---|
Irish AI association | member | / | |
ACM | member | / | |
AAAI | member | / | |
COSEAL | Founding Member | / |
Committees
Committee | Function | From / To | |
---|---|---|---|
IJCAI Programme Committee | Member | / | |
AAAI Programme Committee | Member | / |
Employment
Employer | Position | From / To | |
---|---|---|---|
University of St Andrews | Postdoctoral researcher | 01-APR-12 / 30-SEP-12 |
Education
Year | Institution | Qualification | Subject | |
---|---|---|---|---|
2012 | University of St Andrews | PHD | Computer Science |
Outreach Activities
Description | |
---|---|
SICSA Demofest 2009 |
Journal Activities
Journal | Role | To / From | |
---|---|---|---|
Machine Learning | Referee | - | |
Artificial Intelligence | Referee | - | |
Annals Of Operations Research | Referee | - |
Other Activities
Description | |
---|---|
Co-Organizer of CoCoMiLe workshops in 2013 and 2014 | |
Master Class Co-Chair for CPAIOR 2014 | |
Core member of steering group for algorithm selection and configuration research COSEAL | |
Co-lead of the recomputation project, which aims to make computational experiments in more repeatable. | |
Invited talk at Oxford University | |
On the programme committees for more than a dozen international conferences and workshops | |
Amazon Web Services grant holder | |
Tutorial on Algorithm Selection and Configuration at IJCAI 2013 | |
Microsoft Azure grant holder | |
Tutorial on recomputation at ECAI 2014 | |
Co-Organizer of MetaSel workshop 2014 | |
Invited talk at IJCAI 2011 | |
Tutorial on Recomputation at CP 2013 | |
Workshop chair for CPAIOR 2014 | |
Tutorial on Algorithm Selection and Configuration at AAAI 2013 |
Teaching Activities
Teaching Interests
CS6405 - Data Mining, Spring 2014 and 2015Research Information
External Collaborators
Name | Organisation/ Institution | Country | |
---|---|---|---|
Christopher Jefferson | University of St Andrews | ||
Pascal Kerschke | University of Münster | ||
Joaquin Vanschoren | University of Eindhoven | ||
Heike Trautmann | University of Münster | ||
Bernd Bischl | University of Dortmund | ||
Marius Lindauer | University of Freiburg | ||
Christian Bessière | University of Montpellier | ||
Marco Gavanelli | University of Ferrara | ||
Tobias Ruppert | Fraunhofer IGD | ||
Kevin Leyton-Brown | University of British Columbia | ||
Ian Miguel | University of St Andrews | ||
Frank Hutter | University of Freiburg | ||
Kevin Tierney | University of Paderborn | ||
Luc de Raedt | KU Leuven | ||
Dino Pedreschi | University of Pisa | ||
Mirco Nanni | University of Pisa | ||
Ian Davidson | University of California at Davis | ||
Michela Milano | University of Bologna | ||
Peter Johnson | University of Surrey | ||
Luis Torgo | University of Porto | ||
Tony Woods | PPA Energy | ||
Ian Gent | University of St Andrews | ||
Peter Nightingale | University of St Andrews | ||
Thomas Kelsey | University of St Andrews | ||
Holger Hoos | University of British Columbia | ||
Alexandre Fréchette | University of British Columbia | ||
Yuri Malitsky | IBM Research |